1. Categorial grammar /
پدیدآورنده : edited by Wojciech Buszkowski, Witold Marciszewski, Johan van Benthem
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categorial grammar
رده :
P161
.
C38
1988
2. Handbook of logic and language
پدیدآورنده : / Johan Van Benthem, Alice ter Meulen.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : پردازش زبان طبیعی,منطق ریاضی,معنی‌شناسی,-- دستنامه‌ها,-- دستنامه‌ها,-- دستنامه‌ها
رده :
QA
۷۶
/
۹
/
پ
۴۴
ھ
۹ ۱۳۹۰
3. Handbook of modal logic
پدیدآورنده : edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Handbooks, manuals, etc ، Modality )Logic(
رده :
BC
199
.
M6H36
2007
4. Handbook of spatial logics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ; Mathematics. ;
5. Handbook of spatial logics
پدیدآورنده : / edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic, Symbolic and mathematical.
6. Language in action : categories, lambdas, and dynamic logic
پدیدآورنده : Benthem, J F A K van
موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Philosophy of information
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Information theory-- Philosophy
رده :
Q
360
.
P48
2008
8. Philosophy of information
پدیدآورنده : edited by Pieter Adriaans and Johan van Benthem
کتابخانه: Library of Mofid University (Qom)
موضوع : Philosophy ، Information theory
9. The Logic of Time :
پدیدآورنده : by J.F.A.K. Benthem.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
10. The logic of time
پدیدآورنده : Johan van Benthem
کتابخانه: Library of Faculty of Psychology and Educational Sciences University of Tehran (Tehran)
موضوع : Time,Ontology,Tense (Grammar),Tense (Logic)
رده :
BC
,
199
,.
T4
,
B4
,
1991
11. The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse
پدیدآورنده : Benthem, J. F. A. K. van
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Time,، Ontology,، Tense )Grammar(,، Tense )Logic(
رده :
BC
199
.
T4
.
B46
1991
